Closes both acceptance criteria of #56, though the second turned out to be
already satisfied and the first was mis-scoped.

## Criterion 1 — template residue

The issue recorded "5 {{PLACEHOLDER}} files + 8 rsr-template-repo references".
Re-measured: 8 files matched `{{...}}` and 21 lines matched the template name
— but most were META-REFERENCES, files describing the debt rather than
carrying it. Three would have been damaged by a naive search-and-replace:

  * src/rust/src/eval.rs — `"...add{{}} block"` is a Rust format! ESCAPE
    (`{{}}` renders as literal `{}`) naming the `add{}` language construct.
    It is working code.
  * methodology.a2ml — the token appears inside reject-if-contains, the rule
    that FORBIDS it.
  * AFFIRMATION.adoc, docs/identity-fabric/ — prose recording the debt.

The genuine residue, now cleared:
  * QUICKSTART-MAINTAINER: {{DEPS}}, {{BUILD_OUTPUT_PATH}}, {{PACKAGE_NAME}}
  * QUICKSTART-DEV: {{LANG_STACK}}, {{BUILD_CMD}}, {{TEST_CMD}},
    {{MUST_INVARIANTS}}
  * methodology.a2ml: {{PROJECT_UNIQUE_STRENGTH}}
  * Intentfile / Trustfile / Mustfile / Adjustfile — whose SUBJECT was still
    the template. Intentfile asserted "This repository is the canonical
    template for Rhodium Standard Repository compliance."
  * docs/CITATIONS.adoc — every format credited "Polymath, Hyper" for
    "RSR-template-repo", wrong project and wrong author.

## A worse class, found while fixing it

All three QUICKSTARTs documented commands that DO NOT EXIST: `just build`,
`just test`, `just lint`, `just panic-scan`, `just setup-dev`,
`just build-release`, `just install`, `just run`, `just heal`, `just setup`,
`just uninstall`, `just stapeln-run` — and asserted an
`$XDG_CONFIG_HOME/tangle/config.toml` the compiler never reads, plus a
"Multi-Instance Deployment" section for what is a single stateless binary.
Documentation that fails when followed is worse than none.

Every command now shown is verified to exist, and the one worked example's
output is the REAL output (8 `assertion passed` lines, exit 0) rather than
the template's invented "Tangle started successfully."

## Criterion 2 — already satisfied

The stack-diagram reconciliation was done by #78: README.adoc carries the
correction and AFFIRMATION.adoc has "Erratum — 2026-07-21 / Correction 1 —
the stack does not exist". Note the criterion as worded ("does the simplified
diagram supersede, or re-state, the nuance?") presupposed the stack was real;
both options were wrong, because `KRL -> TangleIR -> ...` describes a
dependency that never existed. Withdrawn, not reconciled.

## Making the rule real

methodology.a2ml has always declared
`reject-if-contains = [..., "rsr-template-repo"]` and NOTHING enforced it,
which is how the contractiles stayed mis-instantiated. Adds
scripts/check-rsr-instantiation.sh (+ `just rsr-check`, + a CI step) which
enforces it, using an explicit allowlist so legitimate meta-references and
the Rust escape are not false-positived.

Verified adversarially: reintroducing a placeholder, claiming to be the
template, and documenting a phantom recipe are each caught; the Rust
format! escape is correctly ignored. The guard found a file I had not
inspected (QUICKSTART-USER.adoc, six phantom recipes) on its first run.

AFFIRMATION.adoc gains a dated Erratum — 2026-07-29 (Corrections 3-5)
recording the residue clearance, that the OCaml compiler is no longer
unbuilt (#87/#89), and that `==` is no longer list equality (#50/#87).

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>